Section: New Software and Platforms

Jasmin

Jasmin compiler and analyser

Keywords: Cryptography - Static analysis - Compilers

Functional Description: Analysing the execution time of a cryptographic code can be a way to discover the secret protected by this code. To avoid this pitfall, Jasmin proposes a high-level language and an analyzer for this language that makes it possible to predict when the execution of this code will happen in constant time and thus does not unveil the secret (for instance, the cryptographic key). Once the Jasmin code is valid with respect to the analyzer, the compiler produces assembly code that still preserves this property of constant time.

• Contact: Benjamin Grégoire